Transaction synchronisation in object bases

TRANSACTION SYNCHRONISATION IN OBJECT BASESy

We propose a formal model of concurrency control in object bases. An object base is like a database except that information is represented in terms of \objects" that encapsulate both data and the procedures through which the data can be manipulated. The model generalises the classical model of database concurrency control: it allows for nested transactions (as opposed to at transactions) which ...

Enhancing Intra - Transaction Concurrency in Object Bases

Advanced software systems utilize highly structured, complex data that can be effectively represented using nested objects. In this paper we argue that the efficient execution of transactions on such data can only be accomplished by exploiting the available concurrency within each object method. We present a concurrency control strategy that automatically generates nested transactions on object...

Synchronisation Rings Composable Synchronisation for Object-Oriented Systems

Ownership Types for Object Synchronisation

Shared-memory concurrent programming is difficult and error prone because memory accesses by concurrent threads need to be coordinated through synchronisation, which relies on programmer discipline and suffers from a lack of modularity and compile-time support. This paper exploits object structures, provided by ownership types, to enable a structured synchronisation scheme which guarantees safe...

Clustering in Object Bases

We investigate clustering techniques that are speci cally tailored for object-oriented database systems. Unlike traditional database systems object-oriented data models incorporate the application behavior in the form of type-associated operations. This source of information is exploited for clustering decisions by statically determining the operations' access behavior applying data ow analysis...